1. Decrypted Secrets :
Author: by Friedrich L. Bauer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Computer science.,Data encryption (Computer science)
Classification :
QA76
.
9
.
A25
B947
2000
2. Foundations of secure computation
Author: edited by Friedrich L. Bauer, Ralf Steinbruggen
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Computer security
Classification :
QA
76
.
9
.
A25
F69
2000
3. Foundations of secure computation
Author: / edited by Friedrich L. Bauer, Ralf Steinbruggen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer security -- Congresses
Classification :
QA
76
.
9
.
A25
F65
1999
4. Logic, Algebra, and Computation :
Author: edited by Friedrich L. Bauer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
63
E358
1991
5. Logic, algebra, and computation: international summer school directed by F.L. Bauer ... ]et al.[
Author: edited by Friedrich L. Bauer
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic programming- Congresses,، Algebra- Congresses,، Computational complexity- Congresses
Classification :
QA
76
.
63
.
L618
1991
6. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
Author: edited by Friedrich L. Bauer
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
Classification :
QA
76
.
63
.
L618
1991
7. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... (et al.)
Author: / edited by Friedrich L. Bauer
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
Classification :
QA76
.
63
.
L618
1991
8. Logic and Algebra of Specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1993
9. Logic and algebra of specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35N37
1991
10. Program Construction :
Author: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programmation (Informatique)
Classification :
QA76
.
6
E358
1979
